Checked os.texi.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index d6400ed78195823693d3a56af80e3497b053cc42..c10ee85a3c479554d198e8b309822b11d4464177 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -206,7 +206,7 @@ modes.texi        -- cyd
 nonascii.texi     -- cyd
 numbers.texi      -- cyd
 objects.texi      -- cyd
-os.texi
+os.texi           -- cyd
 positions.texi    -- cyd
 processes.texi
 searching.texi    -- cyd